1. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
3. A Basic for theoretical computer science
پدیدآورنده : Arbib, Michael Anthony, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
4. A calculus of communicating systems
پدیدآورنده : / Robin Milner
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory.,Formal languages.
رده :
QA
,
267
,.
M53
5. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
6. A course in formal languages, automata and grops
پدیدآورنده : Chiswell, Ian, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
7. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
8. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
9. A course in formal languages, automata and groups
پدیدآورنده : / Ian Chiswell
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal languages.,Machine theory.,Group theory.
10. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
11. A second course in formal languages and automata theory
پدیدآورنده : Shallit, Jeffrey Outlaw.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
12. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
13. Abstract machines and grammars
پدیدآورنده : / Walter J. Savitch. -
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal languages.,Machine theory.
رده :
QA
,
267
,.
S29
,
1982
14. Advances in computers.
پدیدآورنده : edited by Marshall C. Yovits.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Electronic data processing.,ARCHITECTURE (COMPUTERS),COMPUTER INFORMATION SECURITY.,COMPUTER NETWORKS.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,COMPUTERS.,DATA PROCESSING.,DESIGN ANALYSIS.,Electronic data processing.,MAN-COMPUTER INTERFACE.,PROTOCOL (COMPUTERS),U.S.S.R., 7
رده :
QA76
.
A3eb
vol
.
29
15. Advances in information systems science. Volume 3
پدیدآورنده : edited by Julius T. Tou.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information science.,Information technology.
16. Algebraic theory of automata and languages
پدیدآورنده : / Masami Ito
کتابخانه: Ilam University Central Library (Ilam)
موضوع : Formal languages,Machine theory
رده :
QA267
.
I8A5
2004
17. Algebraic theory of automata and languages
پدیدآورنده : Ito, Masami
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Machine theory
رده :
QA
276
.
3
.
I88
2004
18. Algebraic theory of automata and languages
پدیدآورنده : Ito, Masami, 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
I86A4
19. Algorithmic learning theory :
پدیدآورنده : Jyrki Kivinen [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011